Teorema konstruksi, teorema notasi, teorema pengontrasan dan keanekeragaman, dan teorema pengaitan